Session summary: Language abstractions

© Real Sáez, J.| ACM, 2015. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Adda Letters, http://dx.doi.org/10.1145/2870544.2870558Summary of discussion and conclusions of the IRTAW group around language abstractions.Wellings, A.; Real Sáez, JV. (2015). Session summary: Language abstractions. Ada Letters. 35(1):102-104. doi:10.1145/2870544.2870558S102104351P. Bernardi. Incorporating Cyclic Task Behaviour into Ada Tasks. Ada Letters, This issue, 2015.J. Real and A. Crespo. Incorporating Operating Modes to an Ada Real-Time Framework. Ada Letters, 30(1):73--85, April 2010.S. Sáez, J. Real, and A. Crespo. Implementation of Timing-Event Afinities in Ada/Linux. Ada Letters, This issue, 2015.S. Sáez, S. Terrasa, and A. Crespo. A Real-Time Framework for Multiprocessor Platforms Using Ada 2012. In S. Romanovsky and T. Vardanega, editors, 16th International Conference on Reliable Software technologies -- Ada-Europe 2011, volume 6652. Springer, June 2011.A. Wellings and A. Burns. Interrupts, Timing Events and Dispatching Domains. Ada Letters, This issue, 2015.A. J. Wellings and A. Burns. A Framework for Real-Time Utilities for Ada 2005. Ada Letters, XXVII(2), August 2007

The Deadline Floor Protocol and Ada

At the 2013 IRTAW Workshop it was accepted that the Deadline Floor Protocol (DFP) has many advantaged over the Stack Resource Protocol (SRP), and that it should be incorporated into a future version of the language, and that ideally the support for SRP should be deprecated. This short position paper summarises the current status of proposed language changes that would be needed to make this happen. The context is single processor systems

Real-Time Memory Management: Life and Times

As high integrity real-time systems become increasingly large and complex, forcing a static model of memory usage becomes untenable. The challenge is to provide a dynamic memory model that guarantees tight and bounded time and space requirements without overburdening the developer with memory concerns. This paper provides an analysis of memory management approaches in order to characterise the tradeoffs across three semantic domains: space, time and a characterisation of memory usage information such as the lifetime of objects. A unified approach to distinguishing the merits of each memory model highlights the relationship across these three domains, thereby identifying the class of applications that benefit from targeting a particular model. Crucially, an initial investigation of this relationship identifies the direction future research must take in order to address the requirements of the next generation of complex embedded systems. Some initial suggestions are made in this regard and the memory model proposed in the Real-Time Specification for Java is evaluated in this context

Integrating Object-Oriented Programming and Protected Objects in Ada 95

Integrating concurrent and object-oriented programming as been an active research topic since the late 1980s. There is now a plethora of methods for achieving this integration. The majority of approaches have taken a sequential object-oriented language and made it concurrent. A few approaches have taken a concurrent language and made it object-oriented. The most important of this latter case is the Ada 95 language which is an extension to the object-based concurrent programming language Ada 83. Arguably, Ada 95 does not fully integrate its models of concurrency and object-oriented programming. For example. neither tasks nor protected objects are extensible. This paper discusses ways in which protected objects can be made more extensible

Abstracts from the NIHR INVOLVE Conference 2017

n/

17th IEEE Real-Time Systems Symposium: Work in Progress Sessions

The Table of Contents for the workshop is contained in 1996-027-00main.pdfDear Colleagues: This year marks the beginning of a new tradition within the Real-Time Systems Symposium, that of holding special sessions for the presentation of new and on-going projects in real-time systems. The prime purpose of these Work In Progress (WIP) sessions is to provide researchers in Academia and Industry an opportunity to discuss their evolving ideas and gather feedback thereon from the real-time community at large. The idea of holding these sessions is timely, and I am pleased to report that this year RTSS'96 WIP received 22 submissions, of which 14 have been accepted for presentation during the symposium and for inclusion in RTSS'96 WIP proceedings. Many people worked hard to make the idea of holding the WIP sessions a reality. In particular, I would like to thank Sang Son for his hard work in accommodating the WIP sessions within the busy schedule of RTSS'96. Also, I would like to thank all members of the RTSS'96 Program Committee, Al Mok and Doug Locke in particular, for their encouragement and constructive feedback regarding the organization of these sessions. Finally, I would like to thank all those who submitted their work to RTSS'96 WIP and those from RTSS'96 program committee who helped review these submissions. I hope these sessions will prove beneficial, both to the WIP presenters and to RTSS'96 attendees. Azer Bestavros RTSS'96 WIP Chair December 1996.IEEE-CS TC-RT